minios: Update mini-os license to support GPL features
authorMatthew Fioravante <matthew.fioravante@jhuapl.edu>
Mon, 19 Nov 2012 12:59:48 +0000 (12:59 +0000)
committerMatthew Fioravante <matthew.fioravante@jhuapl.edu>
Mon, 19 Nov 2012 12:59:48 +0000 (12:59 +0000)
commita338016154a0163d7e82a355e87651db7903c1b2
tree1599ff549e7285d783dfe3fccbda6712e7079dd8
parent7967bbb45e08d7d3bd4c5ef8e3df6e428a5918fd
minios: Update mini-os license to support GPL features

This patch updates extras/mini-os/COPYING to explain
which optional features are GPL and what the implications
of enabling them are.

Signed-off-by: Matthew Fioravante <matthew.fioravante@jhuapl.edu>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
extras/mini-os/COPYING